@prefix : <http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#> .

<http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#MScBISCourseIsCoordinatedByDidacticStaff
:MScBISCourseIsCoordinatedByDidacticStaff rdf:type owl:ObjectProperty ;
                                          rdfs:subPropertyOf :courseIsTaughtByAcademicStaff ;
                                          rdfs:domain :MScBISCourse ;
                                          rdfs:range :DidacticStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#academicStaffTeachesCourse
:academicStaffTeachesCourse rdf:type owl:ObjectProperty ;
                            owl:inverseOf :courseIsTaughtByAcademicStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#courseIsTaughtByAcademicStaff
:courseIsTaughtByAcademicStaff rdf:type owl:ObjectProperty ;
                               rdfs:subPropertyOf :moduleInvolvesAcademicStaff ;
                               rdfs:domain :Course ;
                               rdfs:range :AcademicStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#moduleInvolvesAcademicStaff
:moduleInvolvesAcademicStaff rdf:type owl:ObjectProperty ;
                             rdfs:domain :Module ;
                             rdfs:range :AcademicStaff .


#################################################################
#    Data properties
#################################################################

###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#courseHasStartDate
:courseHasStartDate rdf:type owl:DatatypeProperty ;
                    rdfs:domain :Course ;
                    rdfs:range xsd:dateTime .


#################################################################
#    Classes
#################################################################

###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#AcademicStaff
:AcademicStaff rdf:type owl:Class .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Course
:Course rdf:type owl:Class ;
        rdfs:subClassOf :Module .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#DidacticStaff
:DidacticStaff rdf:type owl:Class ;
               rdfs:subClassOf :AcademicStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Lecturer
:Lecturer rdf:type owl:Class ;
          rdfs:subClassOf :DidacticStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#MScBISCourse
:MScBISCourse rdf:type owl:Class ;
              rdfs:subClassOf :Course .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Module
:Module rdf:type owl:Class .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Professor
:Professor rdf:type owl:Class ;
           rdfs:subClassOf :DidacticStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Project
:Project rdf:type owl:Class ;
         rdfs:subClassOf :Module .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#ResearchStaff
:ResearchStaff rdf:type owl:Class ;
               rdfs:subClassOf :AcademicStaff .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Researcher
:Researcher rdf:type owl:Class ;
            rdfs:subClassOf :ResearchStaff .


#################################################################
#    Individuals
#################################################################

###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#ABIT
:ABIT rdf:type owl:NamedIndividual ,
               :MScBISCourse ;
      :MScBISCourseIsCoordinatedByDidacticStaff :Knut ;
      :courseIsTaughtByAcademicStaff :Knut ;
      :moduleInvolvesAcademicStaff :Devid ;
      :courseHasStartDate "2024-02-22T13:15:00"^^xsd:dateTime .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Devid
:Devid rdf:type owl:NamedIndividual ,
                :Researcher .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Emanuele
:Emanuele rdf:type owl:NamedIndividual ,
                   :Lecturer .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Holger
:Holger rdf:type owl:NamedIndividual ,
                 :Professor .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#KP_DM
:KP_DM rdf:type owl:NamedIndividual ,
                :MScBISCourse ;
       :MScBISCourseIsCoordinatedByDidacticStaff :Holger ;
       :courseIsTaughtByAcademicStaff :Emanuele ,
                                      :Holger ;
       :courseHasStartDate "2024-02-18T13:15:00"^^xsd:dateTime .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Knut
:Knut rdf:type owl:NamedIndividual ,
               :Professor .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#MBDCPS
:MBDCPS rdf:type owl:NamedIndividual ,
                 :MScBISCourse ;
        :MScBISCourseIsCoordinatedByDidacticStaff :Emanuele ;
        :courseIsTaughtByAcademicStaff :Emanuele ,
                                       :Knut ;
        :moduleInvolvesAcademicStaff :Valeriia ;
        :courseHasStartDate "2024-02-23T13:15:00"^^xsd:dateTime .


###  http://www.semanticweb.org/admin/ontologies/2024/3/MScBIS#Valeriia
:Valeriia rdf:type owl:NamedIndividual ,
                   :Researcher .


#################################################################
#    Rules
#################################################################

:c rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

:i rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

[ <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
   rdfs:comment "teaching rule" ;
   rdfs:label "Teaching" ;
   rdf:type <http://www.w3.org/2003/11/swrl#Imp> ;
   <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :courseIsTaughtByAcademicStaff ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> :c ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> :i
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ] ;
   <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :academicStaffTeachesCourse ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> :i ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> :c
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ]
 ] .

###  Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
